基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

加筋板架抗动能穿甲的等效防护厚度研究

为研究舰船舷侧结构抗穿甲性能,采用有限元分析了两种典型工况下板架的穿甲破坏模式、弹体的剩余速度和板架的变形吸能规律,提出了基于剪切冲塞模式的剩余速度理论计算模型,比较了不同等效计算方法得到的结果,并将理论计算结果分别与相关文献的实验结果和本文的有限元计算结果进行了比较,两者之间均吻合较好。结果表明,加强筋对板架的抗穿甲性能影响较大,而板架的实际等效厚度是决定其抗穿甲性能的主要因素;不同的等效计算方法与模型相对尺寸、弹体冲击速度以及命中位置有关,对于弹体直径相对较大且初始冲击速度较高时,不同的等效计算方法得到的结果基本一致。     

关于有限变形非弹性有限单元法的研究进展

对有限变形非弹性有限单元法研究发展中的一些普遍关注的研究课题,进行了回顾和展望。这些课题包括:不同参考构形下的有限元列式、客观性应力率的合理定义、有限变形非弹性本构方程的精确描述、率本构方程的增量客观数值积分、塑性流动的不可压缩性与自锁现象、以及交界面接触与摩擦的处理。     

基于刚柔耦合的坦克炮发射动力学仿真分析

炮口扰动是影响坦克炮射击精度的重要因素，为研究弹丸出炮口瞬间的炮口扰动规律，基于多体动力学与有限元方法构建了坦克刚柔耦合的全车动力学仿真模型，该模型考虑了身管的柔性特性，对身管进行了模态分析，得到了身管的模态中性文件。通过仿真，对比了后坐部分最大后坐位移与最大后坐速度的试验值与仿真值，对刚柔耦合模型的仿真结果进行了验证。在此基础上，分析了刚性身管和柔性身管对炮口扰动的影响，结果表明：考虑身管柔性特性的刚柔耦合模型能够有效提高坦克炮射击仿真精度。     

Numerical simulation of dynamic large deformation and fracture damage for solid armature in electromagnetic railgun

The design of solid armature of railgun should take full account of its operating conditions and material properties because the armature is subjected to dynamic loading conditions and experiences a complicated electrical, thermal and mechanical process in the interior ballistic cycle. In this paper present, we first introduced a multi-physical field model of railgun, followed by several examples to investigate the launching process. Especially, we used the explicit finite element method, in which material nonlinearity and geometric nonlinearity were accounted, to investigate the deform behaviors of solid armature. The results show that the dynamic mechanical process of armature is dependent on the armature geometry, material and exciting electric current. By the numerical simulation, the understanding of the fracture mechanism of solid armature was deepened.     

电磁轨道发射器动态发射过程的数值模拟

针对电磁轨道发射器动态发射过程的数值模拟问题,基于矢量磁位A和时间积分标量电位V,采用节点单元法,并选择运动坐标系描述运动问题,推导出动态发射下的电磁轨道发射器三维涡流场有限元离散方程。结合温度场控制方程,建立电磁轨道发射器的三维电磁-温度耦合有限元模型。针对一个电磁轨道发射器动态发射问题,对模型进行数值模拟,得到了动态发射下轨道及电枢的温度场分布特点及发射器电感梯度随时间的变化规律。计算结果表明,模型计算出的脉冲电流峰值、出口电流大小、出口速度等参数均与试验结果吻合较好,验证了所开发的有限元程序代码的正确性。     

AR模型仿真相关高斯序列的阶数选择

采用模型仿真相关高斯序列,具有灵活性强、效率高的优点,但如何选择合适的阶数一直是模型谱估计中的关键问题.比较了四种信息量准则和修正的Levison递推方法确定阶数的优缺点,并讨论了采样点数对阶数选择和仿真结果的影响.通过选择合适的信息量准则和采样点数来确定模型阶数,可以有效地仿真功率谱服从高斯谱、n次方谱和指数谱等多种谱形的相关高斯序列,大大降低了仿真过程的计算量.     

加筋板在横向撞击下的吸能特性研究

运用非线性有限元分析方法,对不同撞击工况下加筋板的碰撞损伤过程进行了分析。加筋板结构采用理想弹塑性的材料模型,不计入应变率对材料强化的影响,在忽略接触面的摩擦等因素影响的前提下,考虑加筋板结构在刚性体碰撞下的变形过程,从而探讨加筋板结构的动态响应特点。研究结果表明,加筋板的吸能特性与撞击因素有一定的关系。非线性动态计算采用MSC/DYTRAN程序完成。     

脉冲功率电源连续发射水冷模拟负载

针对脉冲功率电源连续循环放电吸能需求,提出一种1.9 MA级循环脉冲功率水冷模拟负载方案。考虑水冷负载与实际电磁发射负载的相似性要求,提出4×8钢管阵列组成的电阻网络,可方便实现电源不同组合方式的放电考核;针对1.9 MA级电流产生的脉冲电磁力可能引起水冷模拟负载损坏的问题,建立水冷模拟负载三维有限元分析模型,进行电磁力计算和结构分析,保证水冷模拟负载稳定性;利用热网络法对模拟负载在循环脉冲模式下的强迫风冷却、自然冷却和去离子水冷却等方式进行了温升分析。结果表明:模拟负载采用钢管内通去离子水冷却效果最好,循环放电时温度可以恢复到初始状态,最高温度62.5℃,满足连续放电实验的需求。利用提出的方法设计一台水冷模拟负载样机并进行了连续2次1.9 MA放电研究,试验结果与理论分析吻合较好,负载结构运行稳定,从而验证了理论分析的正确性。     

基于椭圆曲线群上的零知识证明

通过研究椭圆曲线群,给出基于其上的2个零知识证明方案,这2个方案均使得甲方向乙方宣称自己拥有某种信息,并通过互动证明使其确信具有该信息,但同时还未泄漏该信息。